• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۴۲ پاسخ غیر تکراری از ۱۴۸ پاسخ تکراری در مدت زمان ۰,۳۳ ثانیه یافت شد.

141. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Kenneth J. Turner

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Electronic digital computers - Programming , Formal languages

Classification :
QA
76
.
6
.
U848
1993

142. 16th International Conference on Software Engineering

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: International Conference on Software Engineering )4991: Sorrento, Italy(

Library: Library of Niroo Research Institue (Tehran)

Subject: ، Electronic digital computers- Programming- Congresses,، Software engineeing- Congresses,، Programming languages )Electronic computers(- Congresses

Classification :
QA
76
.
6
I573
  • »
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival